例文
- もっと例文: 1 2 3 4 5
- The class invariant is an essential component of design by contract.
- Other design contracts are concepts of " class invariant ".
- Some object oriented programming languages have a special syntax for specifying class invariants.
- Class invariants are established during construction and constantly maintained between calls to public methods.
- Defining class invariants can help programmers and testers to catch more bugs during software testing.